Generalization of automatic sequences for numeration systems on a regular language
نویسنده
چکیده
Let L be an infinite regular language on a totally ordered alphabet (Σ, <). Feeding a finite deterministic automaton (with output) with the words of L enumerated lexicographically with respect to < leads to an infinite sequence over the output alphabet of the automaton. This process generalizes the concept of k-automatic sequence for abstract numeration systems on a regular language (instead of systems in base k). Here, I study the first properties of these sequences and their relations with numeration systems.
منابع مشابه
Automatic Sequences and Related Topics Suites Automatiques Et Sujets Reliés
numeration systems are a natural generalization of positional numeration systems whose set of representations of all the integers is a regular language. They were introduced five years ago by P. Lecomte and myself [3] and are defined in the following way. Consider any infinite regular language L over a totally ordered alphabet (A,<). An abstract numeration system is thus simply given by the tri...
متن کاملCombinatorics, Automata and Number Theory
numeration systems The motivation for the introduction of abstract numeration systems stemsfrom the celebrated theorem of Cobham dating back to 1969 about the so-called recognisable sets of integers in any integer base numeration system.An abstract numeration system is simply an infinite genealogically ordered(regular) language. In particular, this notion extends the usual integ...
متن کاملSome results about numeration systems on a regular language : Formal power series and Multiplication by a constant in the polynomial case
Generalizations of numeration systems in which N is recognizable by finite automata are obtained by describing a lexicographically ordered infinite regular language. For these systems of numeration, we obtain a characterization of the recognizable sets of integers in terms of rational formal series. We also show that, for a numeration system constructed on a regular language of density in Θ(n),...
متن کاملA Characterization of Multidimensional S-automatic Sequences
An infinite word is S-automatic if, for all n ≥ 0, its (n + 1)st letter is the output of a deterministic automaton fed with the representation of n in the considered numeration system S. In this extended abstract, we consider an analogous definition in a multidimensional setting and present the connection to the shape-symmetric infinite words introduced by Arnaud Maes. More precisely, for d ≥ 2...
متن کاملCobham’s Theorem for Abstract Numeration Systems
Abstract numeration systems generalize numeration systems whose representation map is increasing and such that the language of all the representations is regular. We show that if a set of integers is recognized by some finite automaton within two independent abstract numeration systems, then this set is a finite union of arithmetic progressions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 244 شماره
صفحات -
تاریخ انتشار 2000